13

Doomed program points

Year:
2010
Language:
english
File:
PDF, 684 KB
english, 2010
15

EFFECTS OF CYCLOPHOSPHAMIDE ON OPEN, GRANULATING SKIN WOUNDS IN RATS

Year:
1979
Language:
english
File:
PDF, 1.26 MB
english, 1979
22

Preface – Invariant Generation

Year:
2014
Language:
english
File:
PDF, 169 KB
english, 2014
40

Complete Instantiation-Based Interpolation

Year:
2016
Language:
english
File:
PDF, 934 KB
english, 2016
41

SURVEY OF RECENT DEVELOPMENTS

Year:
2007
Language:
english
File:
PDF, 347 KB
english, 2007
42

Counterexample-guided focus

Year:
2010
Language:
english
File:
PDF, 511 KB
english, 2010